$\forall$${\it es}$:ES, $e_{2}$, $e_{1}$:E. $e_{1}$ $\leq$ $e_{2}$  $\Rightarrow$ (last([$e_{1}$, $e_{2}$]) $\sim$ $e_{2}$)